package joc.contract;

import joc.customize.Contract;
import joc.customize.ForBehaviorEvaluateAtBeginningOfBehavior;
import joc.customize.ForTypeEvaluateAtBeginningOfAllBehaviors;
import joc.customize.PartialEvaluationResult;

public class DenyContract extends Contract<Deny> {
	@ForBehaviorEvaluateAtBeginningOfBehavior
	@ForTypeEvaluateAtBeginningOfAllBehaviors
	public PartialEvaluationResult checkContract(Deny annotation) {
		return getFailure("Access to this method has been denied.");
	}
}
